Cartesi - Connecting Linux & Blockchain Technology for DApps

A Bridge between Linux and blockchain

Build your DApp off-chain with Linux, Maintain on-chain security

Lines right Lines left

Shaping the Future of Blockchain

Build scalable DApps using a fully-fledged Linux operating system and mainstream software stacks. Run complex computations free from blockchain limitations and fees, while retaining decentralization. DApps with Cartesi are easier to build, scalable and more powerful. Collaborate with other innovators as you shape the future of the web.

Why Build in Cartesi

Scalable

Intensive computations performed off-chain while retaining the security guarantees of the blockchain.

Versatile

DApp logic built on a real operating system utilizing the thousands of open-source software components available for Linux.

Easy to build

Developers use familiar software stacks and popular standards to create DApps.

Fully-Decentralized

Consensus securely reached on-chain. No reputation protocol, no TEE, or central servers on the cloud.

Portable

Cartesi will make DApps portable across the most important public blockchains that support smart contracts.

Private

DApp state can be kept private among application participants.

How It Works

1. Code your main DApp logic using Linux and Linux-compatible software stacks. Your program will run off-chain, handling complex computations over massive amounts of data.

2. Cross-compile the program to be deployed on Cartesi's virtual machine that emulates a RISC-V microprocessor and runs an embedded Linux distribution.

3. At runtime, your DApp smart contracts delegate computations to the program running off-chain on Cartesi Nodes. Nodes claim the results to the blockchain.

4. Cartesi Nodes are run by DApp users themselves or by service providers they trust. Through their nodes, honest users can infallibly prove their claims to the blockchain and enforce their interests.

5. In rare cases of dispute, the blockchain starts an interactive dispute resolution between Cartesi Nodes and runs a single step of the original computation with a negligible amount of data and at a very low cost.

6. Your DApp is running heavy and complex computation off-chain, while retaining full decentralization and the strong security guarantees of the blockchain.

Cartesi Use Cases

DeFi

Cartesi applications will be able to perform complex and intensive computation involving large amounts of data, potentially from multiple sources. This will release DeFi from the current scalability constraints of blockchain. It will also help interoperability between blockchains and services — such as futures and insurance markets.

Cartesi applications will be able to perform complex and intensive computation involving large amounts of data, potentially from multiple sources. This will release DeFi from the current scalability constraints of blockchain. It will also help interoperability between blockchains and services — such as futures and insurance markets.

Gaming

Cartesi will unleash vast new possibilities for blockchain games. Developers will be able to use traditional tools and libraries that can be compiled for Linux. Additionally, game state processing will be free from the computational limits and high fees of blockchains without the need to sacrifice decentralization.

Cartesi will unleash vast new possibilities for blockchain games. Developers will be able to use traditional tools and libraries that can be compiled for Linux. Additionally, game state processing will be free from the computational limits and high fees of blockchains without the need to sacrifice decentralization.

Machine Learning

A decentralised marketplace for Al and computational tasks. With the power of Cartesi's decentralized automated verification, developers will be able to create services that allow new DApps to outsource and distribute work. This opens new possibilities for lower-cost Al by outsourcing experts and bots.

A decentralised marketplace for Al and computational tasks. With the power of Cartesi's decentralized automated verification, developers will be able to create services that allow new DApps to outsource and distribute work. This opens new possibilities for lower-cost Al by outsourcing experts and bots.

The Future of Automation

With the power of Cartesi's decentralized verification, applications will be able to outsource and distribute verifiable work. This opens new possibilities for trustless marketplaces and autonomous systems involving humans and machines, propelling loT, data science and Al through new business models.

With the power of Cartesi's decentralized verification, applications will be able to outsource and distribute verifiable work. This opens new possibilities for trustless marketplaces and autonomous systems involving humans and machines, propelling loT, data science and Al through new business models.

Logistics & Optimization

With Cartesi, professionals in fields such as logistics and transportation will be able to offer their services and be hired by enterprises internationally and without the need for intermediaries.

With Cartesi, professionals in fields such as logistics and transportation will be able to offer their services and be hired by enterprises internationally and without the need for intermediaries.

Research

Outsourced computation can allow for millions of users to lend their idle computing power. This can benefit scientific research, 3D rendering, video transcoding and many other computationally intensive tasks that are actually verifiable. No reputation system needed. No sybil attacks.

Outsourced computation can allow for millions of users to lend their idle computing power. This can benefit scientific research, 3D rendering, video transcoding and many other computationally intensive tasks that are actually verifiable. No reputation system needed. No sybil attacks.

Creepts Tower Defense

First Fully Decentralized Tower Defense DApp

Our Roadmap

Timeline

Q4 2018

Roadmap timeline marker Cartesi Core Testing

Cartesi Core Testing

Q4 2018

Roadmap timeline marker First Minimum Viable Product

First Minimum Viable Product

Q2 2019

Roadmap timeline marker Computation Verifiability

Computation Verifiability

Q3 2019

Roadmap timeline marker Cartesi Core Open-sourced

Cartesi Core Open-sourced

Q4 2019

Roadmap timeline marker Decentralized Tournament Infrastructure

Decentralized Tournament Infrastructure

Q1 2020

Roadmap timeline marker
Launch of Creepts

Launch of Creepts

Creepts Bounty Program

Creepts Bounty Program

Creepts on Rinkeby

Creepts on Rinkeby

Q2 2020

Roadmap timeline marker
SDK Documentation Portal

SDK Documentation Portal

Host-Target Interface ("HTIF") Linux Driver for Roll-ups

Host-Target Interface ("HTIF") Linux Driver for Roll-ups

Q3 2020

Roadmap timeline marker
Proof-of-Stake prototype

Proof-of-Stake prototype

High-level Google Remote Procedure Call ("GRPC") for Roll-ups

High-level Google Remote Procedure Call ("GRPC") for Roll-ups

Infrastructure re-evaluation

Infrastructure re-evaluation

Launch mining on Testnet

Launch mining on Testnet

Q4 2020

Roadmap timeline marker
Redesigning of testing infrastructure

Redesigning of testing infrastructure

Launch mining on Mainnet

Launch mining on Mainnet

Release of P2P Service GRPC

Release of P2P Service GRPC

Q1 2021

Roadmap timeline marker
Cartesi Roll-ups

Cartesi Roll-ups

Infrastructure re-implementation

Infrastructure re-implementation

Cartesi Side Chain testing and auditing

Cartesi Side Chain testing and auditing

Q2 2021

Roadmap timeline marker
Launch of Cartesi Side Chain on Testnet

Launch of Cartesi Side Chain on Testnet

Conducting new infrastructure migration

Conducting new infrastructure migration

Cartesi Side Chain real usage testing

Cartesi Side Chain real usage testing

Q3 2021

Roadmap timeline marker
Launch of Cartesi Side Chain on Mainnet

Launch of Cartesi Side Chain on Mainnet

Cartesi Side Chain bug bounty

Cartesi Side Chain bug bounty

Expand Roadmap

Blog